IST-FP6-508794 PROTOCURE II Integrating formal methods in the development process of medical guidelines and protocols
نویسندگان
چکیده
This document is an addendum to Deliverable D1.3, focusing on a deeper analysis of UML and IDEF0 process modelling languages. In this new study we highlight the differences between the languages, and give a better support for preferring IDEF0 over UML as language to model the guideline development process. Moreover, we have reviewed and updated part of the data related to the selection of the process modelling language.
منابع مشابه
Synchronous Parallelism in the Asbru Language
In this paper we present a flexible mechanism for symbolic execution of synchronous parallel programs. The synchronous parallel operator we use allows for techniques like modular reasoning and abstraction of single components. Furthermore, symbolic execution provides intuitive proofs. The operator is included into the interactive higher order theorem prover KIV. We show how to apply our approac...
متن کاملProtocure: Supporting the Development of Medical Protocols through Formal Methods
Medical guidelines and protocols describe the optimal care for a specific group of patients and therefore, when properly applied, improve the quality of patient care. During the last decade, a large number of medical guidelines and protocols have been published. However, the work done on developing and disseminating them far outweighs the efforts on guaranteeing their quality. Indeed, anomalies...
متن کاملFormal Semantics of Asbru – V2.12
This paper gives part of the formal semantics of a planning language called Asbru which has been specifically designed for the medical framework. A formal semantics is an important step within the Protocure project which is concerned with the quality assurance of medical guidelines and protocols. We have constructed a formal semantics in the style of statecharts, which leads to a compact, graph...
متن کاملMaintaining Formal Models of Living Guidelines Efficiently
Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the corresponding formal models. When performing these updates, there are two goals: The modelling eff...
متن کاملInformal and Formal Medical Guidelines: Bridging the Gap
The role of medical guidelines is becoming more and more important in the medical field. Within the Protocure project it has been shown that the quality of medical guidelines can be improved by formalisation. However formalisation turns out to be a very time-consuming task, resulting in a formal guideline that is much more complex than the original version and the relation with this original gu...
متن کامل